Gas storage materials made easy

Optimizing nanoporous materials for gas storage.

In this work, we address the question of which thermodynamic factors determine the deliverable capacity of methane in nanoporous materials. The deliverable capacity is one of the key factors that determines the performance of a material for methane storage in automotive fuel tanks. To obtain insights into how the molecular characteristics of a material are related to the deliverable capacity, w...

Atom Bomb Made Easy

Concurrent Programming Made Easy

The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. In this paper we describe a constraint-based methodology for writing concurrent applications. A system is modeled as: (a) a set of processes containing a sequence of “markers” denoting the processes points of interest; and (b...

Distributed CQL Made Easy

This talk is about making it easy to implement a distributed CQL. CQL is a continuous query language that extends SQL with a notion of windows over infinite streams of data. Programmers like using CQL, because its syntax is already familiar to them from their experience with other database-backed applications. CQL was originally designed to target a single node implementation of the Stanford St...

Dermatology Made Easy